More from this Author
Found 9 books by Susanne Graf (Editor)
Formal Methods for Components and Objects
by Frank S. de Boer (Editor), Marcello M. Bonsangue (Editor), Susanne Graf (Editor), Willem-Paul de Roever (Editor)
Formal Methods for Components and Objects
by Frank S. de Boer (Editor), Marcello Bonsangue (Editor), Susanne Graf (Editor), Willem-Paul de Roever (Editor)
Formal Methods for Components and Objects
by Frank S. de Boer (Editor), Marcello M. Bonsangue (Editor), Susanne Graf (Editor), Willem-Paul de Roever (Editor)
Formal Methods for Components and Objects
by Frank S. De Boer (Editor), Marcello M. Bonsangue (Editor), Susanne Graf (Editor), Willem-Paul de Roever (Editor)
Formal Methods for Components and Objects
by Marcello M. Bonsangue (Editor), Susanne Graf (Editor), Willem-Paul de Roever (Editor), Frank S. De Boer (Editor)
Formal Methods for Components and Objects
by Frank S. de Boer (Editor), Marcello M. Bonsangue (Editor), Susanne Graf (Editor), Willem-Paul de Roever (Editor)
Model Checking Software
by Susanne Graf (Editor), Laurent Mounier (Editor)
Tools and Algorithms for the Construction and Analysis of Systems
by TACAS '2000 Staff, Susanne Graf (Editor), Michael Schwartzbach (Editor)
Formal Techniques for Distributed Objects, Components, and Systems
by Susanne Graf (Editor), Mahesh Viswanathan (Editor)